<!-- 
  

  1. 函数约束： 有函数本身的参数约束、返回值约束
  2. 还有函数本身赋值的变量的约束
  3. 可采用重载的方式支持联合类型的函数关系



-->